@BOOK{godel,
   author = "Успенский В. А.",
   title = "Теорема Гёделя о неполноте",
   publisher = "Популярные лекции по математике",
   year = 1982
   }
@BOOK{hilbert10,
   author = "Матиясевич Ю.В. ",
   title = "Десятая проблема Гильберта",
   publisher = "М.: Наука",
   year = 1993
   }
@MISC{matiyas,
   author = "Матиясевич Ю.В. ",
   title = "Алгоритм Тарского",
   howpublished={\url{http://logic.pdmi.ras.ru/~infclub/?q=courses/tarskialgorithm}}
}
